Obteniendo eficiencia y legibilidad en programas generados automáticamente

En primer término se presenta un algoritmo de Arity Raising que presenta la característica de manipular, tanto en el código origen como en el destino, código polimórfico. En segundo lugar, el algoritmo presentado hace uso completo del concepto de alto orden. Además, en esta presentación no hay ningún tipo de restricción para las anotaciones (estáticas o dinámicas) de entrada, pudiendo estar estas independientemente en cualquier tupla del código; vale aclarar esto pues en otros trabajos las anotaciones deben seguir reglas particulares como por ejemplo no poder anotar una tupla como dinámica si se encuentra dentro de una tupla estática. Finalmente se provee una demostración de que el sistema propuesto es correcto. La corrección demostrada está basada en una noción de simulación para lo cual fue necesario dar semántica a los lenguajes utilizados.Facultad de Informátic

Obteniendo eficiencia y legibilidad en programas generados automáticamente

En primer término se presenta un algoritmo de Arity Raising que presenta la característica de manipular, tanto en el código origen como en el destino, código polimórfico. En segundo lugar, el algoritmo presentado hace uso completo del concepto de alto orden. Además, en esta presentación no hay ningún tipo de restricción para las anotaciones (estáticas o dinámicas) de entrada, pudiendo estar estas independientemente en cualquier tupla del código; vale aclarar esto pues en otros trabajos las anotaciones deben seguir reglas particulares como por ejemplo no poder anotar una tupla como dinámica si se encuentra dentro de una tupla estática. Finalmente se provee una demostración de que el sistema propuesto es correcto. La corrección demostrada está basada en una noción de simulación para lo cual fue necesario dar semántica a los lenguajes utilizados.Facultad de Informátic

How to say greedy in fork algebras

Because of their expressive power, binary relations are widely used in program specification and development within formal calculi. The existence of a finite equational axiomatization for algebras of binary relations with a fork operation guarantees that the heuristic power coming from binary relations is captured inside an abstract equational calculus. In this paper we show how to express the greedy program design strategy into the first order theory of fork algebras.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI

How to say greedy in fork algebras

Because of their expressive power, binary relations are widely used in program specification and development within formal calculi. The existence of a finite equational axiomatization for algebras of binary relations with a fork operation guarantees that the heuristic power coming from binary relations is captured inside an abstract equational calculus. In this paper we show how to express the greedy program design strategy into the first order theory of fork algebras.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI

The Rise and Fall of "Respectable" Spanish Liberalism, 1808-1923: An Explanatory Framework

The article focuses on the reasons behind both the consolidation of what I have termed “respectable” liberalism between the 1830s and the 1840s and its subsequent decline and fall between 1900 and 1923. In understanding both processes I study the links established between “respectable” liberals and propertied elites, the monarchy, and the Church. In the first phase these links served to consolidate the liberal polity. However, they also meant that many tenets of liberal ideology were compromised. Free elections were undermined by the operation of caciquismo, monarchs established a powerful position, and despite the Church hierarchy working with liberalism, the doctrine espoused by much of the Church was still shaped by the Counter-Reformation. Hence, “respectable” liberalism failed to achieve a popular social base. And the liberal order was increasingly denigrated as part of the corrupt “oligarchy” that ruled Spain. Worse still, between 1916 and 1923 the Church, monarch, and the propertied elite increasingly abandoned the liberal Monarchist Restoration. Hence when General Primo de Rivera launched his coup the rug was pulled from under the liberals’ feet and there was no one to cushion the fall

El reto de la inclusión de los Objetivos de Desarrollo Sostenible en la formación inicial de profesores de secundaria: creación del MOOC curso cero sobre educación y ODS, inclusión en asignaturas y en trabajos fin de máster

Memoria ID-041. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2021-2022

Expression of a Lipid Transfer Protein in Escherichia coli and Its Phosphorylation by a Membrane-Bound Calcium-Dependent Protein Kinase

Ha-AP10 is a basic antifungal peptide from sunflower seeds (Helianthus annuus antifungal peptide of 10 kDa) belonging to the family of plant lipid transfer proteins. We report here its expression in E. coli [Glutathione S-transferase (GST) system] and its phosphorylation by endogenous membrane-bound calcium-dependent protein kinases.Fil: Martin, Mariana Laura. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnol.conicet - Mar del Plata. Instituto de Inv. En Biodiversidad y Biotecnología. Grupo de Entomología Edafica Bonaerense Suboriental - Genebso; Argentina. Fundación para Investigaciones Biológicas Aplicadas; ArgentinaFil: Espinosa Vidal, Esteban. Fundación para Investigaciones Biológicas Aplicadas; ArgentinaFil: de la Canal, Laura. Fundación para Investigaciones Biológicas Aplicadas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Brain grey matter abnormalities in first episode non-affective psychosis patients with suicidal behaviours: The role of neurocognitive functioning

[Background] Suicide is one of the leading causes of premature death in first-episode psychosis (FEP) patients. The understanding of suicidal behaviour (SB) is limited, and new and integrative approaches focusing on the likely relationship of the biological and cognitive features of SB in the early phases of psychosis are warranted. We aimed to study the relationship of brain grey matter anomalies and cognitive functioning with SB or suicidal risk in a large sample of non-affective FEP patients.[Methods] We used a voxel-based morphometry analysis in 145 FEP patients to investigate the pattern of structural brain abnormalities related to SB. In addition, bivariate and multivariate analyses were performed to explore the relationship between cognitive functioning and SB.[Results] A reduction in grey matter volume in the frontal area, temporal gyrus, precuneus, uncus, amygdala, left cuneus and subcallosal gyrus as well as a marked regional volume reduction in the right hemisphere was linked with the presence of SB. Additionally, worse global cognitive functioning and living in urban areas were identified as suicide risk factors.[Conclusions] This study provides some insights about the brain abnormalities associated with SB in FEP patients. Specifically, the areas reported are involved in important functions related to SB, such as impulsivity, problem solving or responses to pain. Thus, the results confirm the relevant role of cognitive functioning on SB.This work was supported by the Instituto de Salud Carlos III (PI14/00639 and PI14/00918) and Instituto de investigación sanitaria Valdecilla (NCT0235832 and NCT02534363). Dr. Rosa Ayesa-Arriola is funded by a Miguel Servet contract from the Carlos III Health Institute (CP18/00003)

Learning from giants: Early exposure to advance markets in the growth and internationalisation of Spanish health care corporations in the twentieth century

This article examines the influence of early exposure to advanced markets of the United States and Germany in the growth and internationalization of health care firms from Spain, a late industrialised country. Based on the case studies of the Spanish corporations Grifols and Ferrer, the study shows that early exposure to advanced markets helped them grow in their national markets, and in the world health care industry. It shows further that the specific capabilities developed by both firms were determined by path-dependent networks with scientists and institutions, on the one hand; and strategic alliances, acquisitions and mergers with German and US corporations on the other. © 2017, © 2017 Informa UK Limited, trading as Taylor & Francis Group